LanguageExt.Core

LanguageExt.Core ► Effects ► Pipes ► Extensions

Contents

class Extensions Source #

Methods

method Proxy<UOut, UIn, DIn, DOut, M, A> As <UOut, UIn, DIn, DOut, M, A> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma) Source #

where M : Monad<M>

method Effect<M, A> As <M, A> ( this K<Proxy<Void, Unit, Unit, Void, M>, A> ma) Source #

where M : Monad<M>

method Producer<OUT, M, A> As <OUT, M, A> ( this K<Proxy<Void, Unit, Unit, OUT, M>, A> ma) Source #

where M : Monad<M>

method Consumer<IN, M, A> As <IN, M, A> ( this K<Proxy<Unit, IN, Unit, Void, M>, A> ma) Source #

where M : Monad<M>

method Pipe<IN, OUT, M, A> As <IN, OUT, M, A> ( this K<Proxy<Unit, IN, Unit, OUT, M>, A> ma) Source #

where M : Monad<M>

method Client<REQ, RES, M, A> As <REQ, RES, M, A> ( this K<Proxy<REQ, RES, Unit, Void, M>, A> ma) Source #

where M : Monad<M>

method Server<REQ, RES, M, A> As <REQ, RES, M, A> ( this K<Proxy<Void, Unit, REQ, RES, M>, A> ma) Source #

where M : Monad<M>

method Effect<M, R> ToEffect <M, R> (this Proxy<Void, Unit, Unit, Void, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into an Effect

method Producer<A, M, R> ToProducer <A, M, R> (this Proxy<Void, Unit, Unit, A, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into a Producer

method Consumer<A, M, R> ToConsumer <A, M, R> (this Proxy<Unit, A, Unit, Void, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into a Consumer

method Pipe<A, B, M, R> ToPipe <A, B, M, R> (this Proxy<Unit, A, Unit, B, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into n Pipe

method Client<A, B, M, R> ToClient <A, B, M, R> (this Proxy<A, B, Unit, Void, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into a Client

method Server<A, B, M, R> ToServer <A, B, M, R> (this Proxy<Void, Unit, A, B, M, R> ma) Source #

where M : Monad<M>

Converts a Proxy with the correct shape into a Server

class ProxyExtensions Source #

Methods

method Producer<OUT, M, B> Bind <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Consumer<IN, M, B> Bind <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Pipe<IN, OUT, M, B> Bind <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Client<REQ, RES, M, B> Bind <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Server<REQ, RES, M, B> Bind <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Producer<OUT, M, B> SelectMany <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Consumer<IN, M, B> SelectMany <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Pipe<IN, OUT, M, B> SelectMany <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Client<REQ, RES, M, B> SelectMany <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Server<REQ, RES, M, B> SelectMany <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f) Source #

where M : Monad<M>

Monad bind (specialised)

method Producer<OUT, M, C> SelectMany <OUT, A, B, M, C> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f, Func<A, B, C> project) Source #

where M : Monad<M>

Monad bind (specialised)

method Consumer<IN, M, C> SelectMany <IN, A, B, M, C> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f, Func<A, B, C> project) Source #

where M : Monad<M>

Monad bind (specialised)

method Pipe<IN, OUT, M, C> SelectMany <IN, OUT, A, B, M, C> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f, Func<A, B, C> project) Source #

where M : Monad<M>

Monad bind (specialised)

method Client<REQ, RES, M, C> SelectMany <REQ, RES, A, B, M, C> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f, Func<A, B, C> project) Source #

where M : Monad<M>

Monad bind (specialised)

method Server<REQ, RES, M, C> SelectMany <REQ, RES, A, B, M, C> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f, Func<A, B, C> project) Source #

where M : Monad<M>

Monad bind (specialised)